<body>
Zero-suppressed Binary Decision Diagrams (aka Z-BDD).


<b><b>PACKAGE STATE: beta
</body>